181. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003
182. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
183. ESPRIT '90 :
Author: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.
184. Encyclopedia of Computer Science and Technology /
Author: edited by Phillip A. Laplante.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
Classification :
T58
.
5
.
E53
2017
185. Energy minimization methods in computer vision and pattern recognition :
Author: Marcello Pelillo, Edwin Hancock (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
Classification :
TA1634
.
E44
2017eb
186. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
187. Ensembles ordonnés finis :
Author: Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Knowledge representation (Information theory),Operations research.,Ordered sets.,Ensembles ordonnés,Informatique-- Mathématiques,Recherche opérationnelle,Représentation des connaissances,Computer science-- Mathematics.,Knowledge representation (Information theory),MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Operations research.,Ordered sets.
Classification :
QA171
.
48
.
C37
2007eb
188. Essentials of clinical informatics /
Author: edited by Mark E. Frisse, Karl E. Misulis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Medical informatics.,Health Information Systems.,Medical Informatics.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,Medical informatics.,MEDICAL-- Osteopathy.
Classification :
R858
189. Essentials of constraint programming /
Author: Thom Frühwirth, Slim Abdennadher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science)
Classification :
QA76
.
612
.
F78
2003
190. Essentials of logic programming
Author: Hogger, Christopher John
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
H64
1990
191. Evolvable hardware /
Author: Tetsuya Higuchi, Yong Liu, Xin Yao (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.
Classification :
QA76
.
618
.
E96
2006eb
192. Evolvable hardware
Author: / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
Classification :
QA76
.
618
.
E96
2006
193. Evolvable hardware
Author: / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
Classification :
QA76
.
618
.
E96
2006
194. Evolvable systems
Author: Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
195. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
Author: Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
Classification :
QA
76
.
L28
Vol
.
1259
196. Evolving Knowledge Bases
Author: \ Joao Alexandra Leite
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming.,Expert systems (Computer science),برنامهنویسی منطقی.,سیستمهای خبره (کامپیوتر),a03,a04,a03,a04
Classification :
E-Book
,
197. Evolving knowledge base
Author: / Jo?uo Alexandre Leite
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming.,Expert systems (Computer science)
Classification :
QA
,
76
.
63
,.
L48
,
2003eb
198. Evolving knowledge bases
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming. ; Expert systems (Computer science) ;
199. Evolving knowledge bases :
Author: João Alexandre Leite.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
Classification :
QA76
.
63
.
L48
2003eb
200. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
Classification :
QA
76
.
63
.
I566
1995
